%%-------------------------------------------------------------------
%% @author Nicolae Paladi	
%% @doc QuickCheck module for testing the company application.
%% @version 0.1
%%-------------------------------------------------------------------

-module(company_eqc).

-include_lib("eqc/include/eqc.hrl").
-include_lib("eqc/include/eqc_statem.hrl").

-compile(export_all).


prop_lists_delete() ->
    ?FORALL(I,int(),
      ?FORALL(List,list(int()),
         collect(lists:member(I,List),
             not lists:member(I,lists:delete(I,List))))).






%%%
%% Generators
%%%

